Steve Easterbrook: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal methods for verification and validation of partial specifications: A case study

Steve Easterbrook, John Callahan

Journal:

Journal of Systems and Software

Year:

1998

Language:

english

File:

PDF, 1.42 MB

english, 1998

2

Requirements: The Key to Sustainability

Becker, Christoph, Betz, Stefanie, Chitchyan, Ruzanna, Duboc, Leticia, Easterbrook, Steve M., Penzenstadler, Birgit, Seyff, Norbet, Venters, Colin C.

Journal:

Year:

2016

Language:

english

File:

PDF, 4.21 MB

english, 2016

3

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Sustainability Design and Software: The Karlskrona Manifesto

Becker, Christoph, Chitchyan, Ruzanna, Duboc, Leticia, Easterbrook, Steve, Penzenstadler, Birgit, Seyff, Norbert, Venters, Colin C.

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

4

Making inconsistency respectable in software development

Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo

Journal:

Journal of Systems and Software

Year:

2001

Language:

english

File:

PDF, 217 KB

english, 2001

5

View merging in the presence of incompleteness and inconsistency

Mehrdad Sabetzadeh, Steve Easterbrook

Journal:

Requirements Engineering

Year:

2006

Language:

english

File:

PDF, 1.28 MB

english, 2006

6

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

Steve Easterbrook, Marsha Chechik

Journal:

Requirements Engineering

Year:

2002

Language:

english

File:

PDF, 69 KB

english, 2002

7

Guest Editors’ Introduction

Sebastian Uchitel, Steve Easterbrook

Journal:

Automated Software Engineering

Year:

2008

Language:

english

File:

PDF, 93 KB

english, 2008

8

Data structures for symbolic multi-valued model-checking

Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Lai, Steve Easterbrook

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 1.01 MB

english, 2006

9

Engineering the Software for Understanding Climate Change

Easterbrook, Steve M., Johns, Timothy C.

Journal:

Computing in Science & Engineering

Year:

2009

Language:

english

File:

PDF, 1.71 MB

english, 2009

10

Guest Editors' Introduction: Climate Change - Science and Software

Easterbrook, Steve M., Edwards, Paul N., Balaji, Venkatramani, Budich, Reinhard

Journal:

Year:

2011

Language:

english

File:

PDF, 2.82 MB

english, 2011

11

[IEEE 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Innsbruck, Austria (2012.09.30-2012.10.4)] 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Augmenting flow diagrams created by end-user programs

Lung, Jonathan, Easterbrook, Steve

Year:

2012

Language:

english

File:

PDF, 999 KB

english, 2012

12

Handling conflict between domain descriptions with computer-supported negotiation

Steve Easterbrook

Journal:

Knowledge Acquisition

Year:

1991

Language:

english

File:

PDF, 2.18 MB

english, 1991

13

Antigen-sensitive CD8 T-cell clones with tough HIV-1 suppression

Glanville, Julie M, Taylor, Steve, Baban, Dilair, Gillespie, Geraldine, Easterbrook, Philippa, Stewart-Jones, Guillaume, Simmons, Alison, Rowland-Jones, Sarah, Dong, Tao, McMichael, Andrew

Journal:

Year:

2013

Language:

english

File:

PDF, 43 KB

english, 2013

14

[ACM Press the conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the conference on The future of Software engineering - ICSE '00 - Requirements engineering

Nuseibeh, Bashar, Easterbrook, Steve

Year:

2000

Language:

english

File:

PDF, 1.24 MB

english, 2000

15

[IEEE 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Pittsburgh, PA, USA (2011.09.18-2011.09.22)] 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - A first look at end-user visual computation supporting sharing & reuse with Inflo

Lung, Jonathan, Easterbrook, Steve

Year:

2011

Language:

english

File:

PDF, 1.27 MB

english, 2011

16

Matching and Merging of Variant Feature Specifications

Nejati, Shiva, Sabetzadeh, Mehrdad, Chechik, Marsha, Easterbrook, Steve, Zave, Pamela

Journal:

IEEE Transactions on Software Engineering

Year:

2012

Language:

english

File:

PDF, 2.64 MB

english, 2012

17

[IEEE International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) - A Framework for Empirical Evaluation of Model Comprehensibility

Aranda, Jorge, Ernst, Neil, Horkoff, Jennifer, Easterbrook, Steve

Year:

2007

Language:

english

File:

PDF, 199 KB

english, 2007

18

[IEEE 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'07) - Banff, AB, Canada (2007.02.26-2007.03.2)] 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'07) - Scale Changes Everything: Understanding the Requirements for Systems of Systems

Easterbrook, Steve

Year:

2007

Language:

english

File:

PDF, 107 KB

english, 2007

19

[IEEE 15th IEEE International Requirements Engineering Conference (RE 2007) - Delhi, India (2007.10.15-2007.10.19)] 15th IEEE International Requirements Engineering Conference (RE 2007) - Requirements in the wild: How small companies do it

Aranda, Jorge, Easterbrook, Steve, Wilson, Greg

Year:

2007

Language:

english

File:

PDF, 256 KB

english, 2007

20

[IEEE First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07) - Evaluating User-centric Adaptation with Goal Models

Mei, Lin, Easterbrook, Steve

Year:

2007

Language:

english

File:

PDF, 601 KB

english, 2007

21

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Managing Models through Macromodeling

Salay, Rick, Mylopoulos, John, Easterbrook, Steve

Year:

2008

Language:

english

File:

PDF, 234 KB

english, 2008

22

[IEEE 2008 12th International Software Product Line Conference (SPLC) - Limerick, Ireland (2008.09.8-2008.09.12)] 2008 12th International Software Product Line Conference - On-Demand Cluster Analysis for Product Line Functional Requirements

Niu, Nan, Easterbrook, Steve

Year:

2008

Language:

english

File:

PDF, 258 KB

english, 2008

23

[IEEE 2009 ICSE Workshop on Modeling in Software Engineering (MISE) - Vancouver, BC, Canada (2009.05.17-2009.05.18)] 2009 ICSE Workshop on Modeling in Software Engineering - Relationship-based change propagation: A case study

Chechik, Marsha, Lai, Winnie, Nejati, Shiva, Cabot, Jordi, Diskin, Zinovy, Easterbrook, Steve, Sabetzadeh, Mehrdad, Salay, Rick

Year:

2009

Language:

english

File:

PDF, 363 KB

english, 2009

24

Investigating the functional implications of reinforcing feedback loops in transcriptional regulatory networks

Li, Yue, Liang, Cheng, Easterbrook, Steve, Luo, Jiawei, Zhang, Zhaolei

Journal:

Molecular BioSystems

Year:

2014

Language:

english

File:

PDF, 2.27 MB

english, 2014

25

[IEEE International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) - A Relationship-Driven Framework for Model Merging

Sabetzadeh, Mehrdad, Nejati, Shiva, Easterbrook, Steve, Chechik, Marsha

Year:

2007

Language:

english

File:

PDF, 554 KB

english, 2007

26

[IEEE 2008 16th IEEE International Requirements Engineering Conference (RE) - Barcelona, Spain (2008.09.8-2008.09.12)] 2008 16th IEEE International Requirements Engineering Conference - Extracting and Modeling Product Line Functional Requirements

Niu, Nan, Easterbrook, Steve

Year:

2008

Language:

english

File:

PDF, 223 KB

english, 2008

27

[IEEE 15th IEEE International Requirements Engineering Conference (RE 2007) - Delhi, India (2007.10.15-2007.10.19)] 15th IEEE International Requirements Engineering Conference (RE 2007) - Tracing and Validating Goal Aspects

Yu, Yijun, Niu, Nan, Gonzalez-Baixauli, Bruno, Candillon, William, Mylopoulos, John, Easterbrook, Steve, Leite, Julio Cesar Sampaio do Prado, Vanwormhoudt, Gilles

Year:

2007

Language:

english

File:

PDF, 135 KB

english, 2007

28

[IEEE 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Waikoloa, HI, USA (2007.01.3-2007.01.6)] 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach

Strohmaier, Markus, Yu, Eric, Horkoff, Jennifer, Aranda, Jorge, Easterbrook, Steve

Year:

2007

Language:

english

File:

PDF, 273 KB

english, 2007

29

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07) - Matching and Merging of Statecharts Specifications

Nejati, Shiva, Sabetzadeh, Mehrdad, Chechik, Marsha, Easterbrook, Steve, Zave, Pamela

Year:

2007

Language:

english

File:

PDF, 765 KB

english, 2007

30

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Integrating sustainability in decision-making processes: A modelling strategy

Cabot, Jordi, Easterbrook, Steve, Horkoff, Jennifer, Lessard, Lysanne, Liaskos, Sotirios, Mazon, Jose-Norberto

Year:

2009

Language:

english

File:

PDF, 658 KB

english, 2009

31

[IEEE 15th IEEE International Requirements Engineering Conference (RE 2007) - Delhi, India (2007.10.15-2007.10.19)] 15th IEEE International Requirements Engineering Conference (RE 2007) - Consistency Checking of Conceptual Models via Model Merging

Sabetzadeh, Mehrdad, Nejati, Shiva, Liaskos, Sotirios, Easterbrook, Steve, Chechik, Marsha

Year:

2007

Language:

english

File:

PDF, 901 KB

english, 2007

32

Open code for open science?

Easterbrook, Steve M.

Journal:

Nature Geoscience

Year:

2014

Language:

english

File:

PDF, 613 KB

english, 2014

33

[ACM Press the ninth annual international ACM conference - San Diego, San California, USA (2013.08.12-2013.08.14)] Proceedings of the ninth annual international ACM conference on International computing education research - ICER '13 - Comparing and contrasting different algorithms leads to increased student learning

Patitsas, Elizabeth, Craig, Michelle, Easterbrook, Steve

Year:

2013

Language:

english

File:

PDF, 598 KB

english, 2013

34

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - Anchoring and adjustment in software estimation

Aranda, Jorge, Easterbrook, Steve

Year:

2005

Language:

english

File:

PDF, 212 KB

english, 2005

35

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Introduction to doctoral symposium

Easterbrook, Steve, Uchitel, Sebastian

Year:

2005

Language:

english

File:

PDF, 123 KB

english, 2005

36

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.21-2006.05.21)] Proceedings of the 2006 international workshop on Early aspects at ICSE - EA '06 - Discovering aspects in requirements with repertory grid

Niu, Nan, Easterbrook, Steve

Year:

2006

Language:

english

File:

PDF, 172 KB

english, 2006

37

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - Case studies for software engineers

Perry, Dewayne E., Sim, Susan Elliott, Easterbrook, Steve

Year:

2006

Language:

english

File:

PDF, 116 KB

english, 2006

38

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Empirical research methods for software engineering

Easterbrook, Steve

Year:

2007

Language:

english

File:

PDF, 50 KB

english, 2007

39

[ACM Press the 2007 OOPSLA workshop - Montreal, Quebec, Canada (2007.10.21-2007.10.21)] Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange - eclipse '07 - An Eclipse-based tool framework for software model management

Salay, Rick, Chechik, Marsha, Easterbrook, Steve, Diskin, Zinovy, McCormick, Pete, Nejati, Shiva, Sabetzadeh, Mehrdad, Viriyakattiyaporn, Petcharat

Year:

2007

Language:

english

File:

PDF, 592 KB

english, 2007

40

Multi-valued symbolic model-checking

Chechik, Marsha, Devereux, Benet, Easterbrook, Steve, Gurfinkel, Arie

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 427 KB

english, 2003

41

A relationship-driven approach to view merging

Sabetzadeh, Mehrdad, Nejati, Shiva, Easterbrook, Steve, Chechik, Marsha

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2006

Language:

english

File:

PDF, 260 KB

english, 2006

42

2nd international workshop on living with inconsistency (IWLWI01)

Easterbrook, Steve, Chechik, Marsha

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 369 KB

english, 2001

43

Report on the First International Workshop on Comparative Evaluation in Requirements Engineering

Gervasi, Vincenzo, Zowghi, Didar, Easterbrook, Steve, Sim, Susan Elliott

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 223 KB

english, 2004

44

[ACM Press the 2009 Conference of the Center for Advanced Studies - Ontario, Canada (2009.11.02-2009.11.05)] Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '09 - Software research and climate change

Easterbrook, Steve, Glenn, Michael, Aranda, Jorge, Pipitone, Jon

Year:

2009

Language:

english

File:

PDF, 541 KB

english, 2009

45

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Second International Workshop on Software Research and Climate Change

Easterbrook, Steve, Mens, Kim, Zschaler, Steffen

Year:

2010

Language:

english

File:

PDF, 102 KB

english, 2010

46

[ACM Press the 2014 conference - Uppsala, Sweden (2014.06.21-2014.06.25)] Proceedings of the 2014 conference on Innovation & technology in computer science education - ITiCSE '14 - A historical examination of the social factors affecting female participation in computing

Patitsas, Elizabeth, Craig, Michelle, Easterbrook, Steve

Year:

2014

Language:

english

File:

PDF, 713 KB

english, 2014

47

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Verification and validation of requirements for mission critical systems

Easterbrook, Steve

Year:

1999

Language:

english

File:

PDF, 258 KB

english, 1999

48

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Global consistency checking of distributed models with TReMer+

Sabetzadeh, Mehrdad, Nejati, Shiva, Easterbrook, Steve, Chećhik, Marsha

Year:

2008

Language:

english

File:

PDF, 1.20 MB

english, 2008

49

[ACM Press the 2007 conference of the center for advanced studies - Richmond Hill, Ontario, Canada (2007.10.22-2007.10.25)] Proceedings of the 2007 conference of the center for advanced studies on Collaborative research - CASCON '07 - Discovering the shared understanding dynamics of large software teams

Aranda, Jorge, Khuwaja, Ramzan, Easterbrook, Steve

Year:

2007

Language:

english

File:

PDF, 194 KB

english, 2007

50

[ACM Press the ACM 2012 conference - Seattle, Washington, USA (2012.02.11-2012.02.15)] Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work - CSCW '12 - Inflo

Lung, Jonathan, Easterbrook, Steve

Year:

2012

Language:

english

File:

PDF, 795 KB

english, 2012